Buy Used and New Jan Friso Groote Books

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12652 (Lecture Notes in Computer Science)

by Jan Friso Groote,Kim Guldstrand Larsen

ISBN 13: 9783030720124

Format: Paperback (488 pages)
Publisher: Springer
Published: 23 Mar 2021

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12651 (Lecture Notes in Computer Science)

by Jan Friso Groote,Kim Guldstrand Larsen

ISBN 13: 9783030720155

Format: Paperback (496 pages)
Publisher: Springer
Published: 20 Mar 2021

Save for later

Logic Gates, Circuits, Processors, Compilers and Computers

by Jan Friso Groote,Rolf Morel,Julien Schmaltz,Adam Watkins

ISBN 13: 9783030685522

Format: Paperback (265 pages)
Publisher: Springer
Published: 19 Aug 2021

Save for later

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings: 13487 (Lecture Notes in Computer Science, 13487)

by Jan Friso Groote, Marieke Huisman

ISBN 13: 9783031150074

Format: Paperback (255 pages)
Publisher: Springer
Published: 12 Aug 2022

Save for later